introduction of mining engineering