Primer on employee stock options