信号量s大于0:内地的公务员能否与香港籍人结婚?