lecture notes on introduction to mining engineering