Division of property upon divorce from an ex