离婚诉讼中的房产分割法律问题