introduction to mining engineering course material