Polar Decomposition for Bounded Operators