Mining engineering (Nairobi : Institution of Engineers of Kenya, 2024)