principios y prácticas de la minería del carbón moderna r d singh