equipments used in coal mining in johannesburg south africari