diploma in mining books pdf