北京有多少公務員?