How does a beneficiary designation work on retirement accounts after a spouse passes away?