What are options and how do you trade them?