Trading platform, market volatility and pricing efficiency in the floor-traded and E-mini index futures markets