DEMO: Building a genetic toggle switch model with iBioSim