the introduction to the mining engineering