How much was Jon Lester's contract worth?