Does a prenuptial agreement override normal property division rules