Ecological restoration of land with particular reference to the mining of metals and industrial minerals: A review of theory and practice