20 Years of Top500 Data Show Linux’s Role in Supercomputing Breakthroughs