computational tools for synthetic biology