Колко са държавните служители в България и в кои институции работят най-много хора?