Books about Mining machinery -- History (sorted by popularity)