Linear flux observers for induction motors with quadratic Lyapunov certificates