cost of used coal mining machine