Line based Matching of Uncertain 3D Building Models with IR Image Sequences for Precise Texture Extraction