A concise history of mine hoisting: From its earliest beginnings through Winfield Scott Stratton's independence hoist (Mining history and technology series :)