intro to mining engineering notes