Strict Lyapunov Functions for Model-Reference Adaptive Control Based on the Mazenc Construction