Global Optimization Approach to the Labeling of Airborne Lidar Point Clouds