tools used in coal mining crusher uk