Estimating the probability of vertical overlap from the paired aircraft data obtained in the european vertical data collection using the program DGLDiF