how is machinery to be used for coal mining