Text this: Topological data analysis in air traffic management: The shape of big flight data sets.