introduction to mining engineering lecture pdf