Visualization of uncertainty for Air Traffic Controllers