离婚，房子怎么分？法官给出了一个计算公式！