The Effects of the Workforce-Shaping Incentives on Civil Service Retirements: Evidence from the Department of Defense