John Isner will stop competing in tennis after the 2023 US Open