Stock Market Mean Reversion and the Optimal Equity Allocation of a Long-Lived Investor