Books about Mining machinery -- History (sorted alphabetically)