If someone sells up their main family home and moves into their holiday home on retirement, which then becomes their sole residence, is there any tax to pay?