Stock index futures arbitrage in the Japanese markets