Collision probability computation for conjunction assessment