SYNERGY: Building Task Bots at Scale Using Symbolic Knowledge and Machine Teaching