elements of mining engineering dj deshmukh