The CMU air travel information service | Synapse