Ahead of the 2023 summer travel season, airlines and the agencies that oversee them are putting measures in place to avoid widespread disruptions that have marred previous pandemic-era summers.