The Scot joins Lord Coe, Steve Ovett and Steve Cram as world record holders over the mile, with Hicham El Guerrouj's 27-year-old time banished after a sizzling 3:42.66 went down at the London Stadium