elements of mining technology volume 1 by dj deshmukh