Cost of used coal mining machine oct