история развития горных выработок