Gravar-mail: Combining ontologies and workflows to design formal protocols for biological laboratories