Tax exodus leads to Florida mansion sales boom