职工离职或停薪时，住房公积金如何处理？