Gravar-mail: A strand graph semantics for DNA-based computation