Registration and interactive planar segmentation for stereo images of polyhedral scenes