My employer included the proceeds for my Exercise to Cash of my options in my W2 income. Do I have to include the 1099-B from the broker? Isn't this double taxation?