Orthology Correction for Gene Tree Reconstruction: Theoretical and Experimental Results