A Computable Game-Theoretic Framework for Multi-Agent Theory of Mind