what equipment is used to mine coal