482 of the Top500 supercomputers run Linux, and China’s Tianhe-2 is the fastest