historical summary of mine disasters in the united states 1810-1958