Tariffs have helped US Steel—but less than was hoped