Zatrudnienie, wydajność, płace i przepracowany czas pracy w górnictwie węgla kamiennego w Polsce kwiecień 2018 r.