Global Algorithms for Mean-Variance Optimization in Markov Decision Processes