Following the rules: Integrating asset allocation and annuitization in retirement portfolios