introductory to mining engineering solutions manual