Globally Optimal Event-Based Divergence Estimation for Ventral Landing