elements of mining technology vol 1