Paternalism vs Redistribution: Designing Retirement Savings Policies with Behavioral Agents