mining machine for crushing coal