Modeling Theory of Mind for Autonomous Agents with Probabilistic Programs