coal mining machinery used in scotland