how much does coal mining machines cost