Statistics on gender division in public service