CBOE Futures Exchange trading volume hits all-time high in 2013