MAVID: Constrained Ancestral Alignment of Multiple Sequences | Synapse