Historical development of collision risk models for en-route air traffic