czas pracy górnika