How electronic trading affects bid‐ask spreads and arbitrage efficiency between index futures and options