Topological data analysis in air traffic management: The shape of big flight data sets | Publicación