how much cost to develop a coal mine