A polyhedral approach to sequence alignment problems