traffic, a toolbox for processing and analysing air traffic data