Mine closure of pit lakes as terminal sinks: best available practice when options are limited?