Охорона праці в гірничій галузі