Shorting Oil: Strategies, Risks, and Opportunities