coal mine pit