Polar Factorization of a Matrix