average cost of coal mining machinery