Convergence of Monte Carlo Tree Search in Simultaneous Move Games