Taxed twice on stock options