how much is machinery to be used for coal mining