Nasdaq’s Tal Cohen on why the exchange is putting options trading in the cloud