Gravar-mail: An algorithm for progressive multiple alignment of sequences with insertions