Solving Marginal MAP Exactly by Probabilistic Circuit Transformations