Open-pit coal mine