Index futures arbitrage before and after the introduction of sixteenths on the NYSE