How Hopper is bringing its travel-booking tools to other companies