Equity Options During the Shorting Ban of 2008