An examination of major mine disasters in the United States and a historical summary of MSHA's Mine Emergency Operations Program