introduction to mining engineering lecture notes