equipment required for coal mining