w górnictwie: wykonanie wyrobiska