Demographics, Redistribution, and Optimal Inflation