Miners' tacit knowledge: A unique resource for developing human-oriented lean mining culture in deep mines | IEEE Conference Publication | IEEE Xplore