Mining: Which Pits to Work and When to Close Them Down