Justin Thomas takes sole lead at US Open, Tiger Woods way behind