machinery required for coal mining