Relational Reasoning via Set Transformers: Provable Efficiency and Applications to MARL