Polar Decomposition of Normal Operators