Zatrudnienie w górnictwie węgla kamiennego w Polsce