Using options to bet on a Boeing turnaround