Congress should strengthen U.S. leadership in supercomputing