Taxation of vested stock options