Divorce and house buyout math in California