Early retirement, downsizing and house hunting