MAVID: Constrained Ancestral Alignment of Multiple Sequences