Course notes in mining engineering.