北京有多少公务员?