Effects of electronic trading on the Hang Seng Index futures market