Modular Design of Strict Control Lyapunov Functions for Global Stabilization of the Unicycle in Polar Coordinates