Женщины в шахте: история и трудовые подвиги