Gravar-mail: Evaluating pathway enumeration algorithms in metabolic engineering case studies