Efficiency and Redistribution in Dynamic Mechanism Design