What Boeing gave up to end the costly machinists strike