How Does a Pneumatic Rock Loader Operate in Underground Coal Mines?