what machines are used in coal mining