An overview of energy efficiency in South African hard rock mining | IEEE Conference Publication | IEEE Xplore