machinery used to get coal mining