összes foglalkoztatott évi átlagos állományi létszáma a bányászatban