Risk management of acid rock drainage under uncertainty