How does consumption change upon retirement?