История горного дела: от древних выработок к современным шахтам