an introduction to mining - "thomas, l j. " (australia : methuen, 1978)