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

[continuerule]