Hornictví, doly, lomy