How are the proceeds distributed among the owners in a sale resulting from a partition?