Text this: The taxation of employee stock options