What are stock options, and how do they work?