Books about Mining engineering (sorted alphabetically)