what machinery is used to get coal