machines used in coal mining in uk