According to the 4% rule, how large does a portfolio need to be to support $60,000 per year in retirement?