Internet Explorer 10 beats Chrome in performance in Google’s RoboHornet test