เครื่องบดย่อยถ่านหินในเหมืองถ่านหินของแอฟริกาใต้เพื่อทำเหมืองแร่