I plan to do heavy gaming on games like bf4, star wars the old republic, world of warcraft, dc universe online and minecraft. But I also plan to do some heavy video editing on premiere pro and rarely sony vegas. I already plan to get a decent graphics card (gtx 460 for gaming, gtx 670 for editing). I just need to find out which one is best, i5 or i7?