Gravar-mail: An algorithm for translating chemical names to molecular formulas