什么是公房,离婚时公房的使用权如何分割