introduction to mining engineering solutions manual