Learning Symbolic Task Decompositions for Multi-Agent Teams