Górnictwo, wiertnictwo