История техники древнего Египта. Горное дело