TACCL: Guiding Collective Algorithm Synthesis using Communication Sketches