A Quantitative Approach to Air Traffic Safety at Very Low Levels