Email Record: Combining ontologies and workflows to design formal protocols for biological laboratories