Does the retirement consumption puzzle differ across the distribution?