Property settlement: superannuation and procedural fairness