Automated design of genetic toggle switches with predetermined bistability