Modern Anti-windup Synthesis: Control Augmentation for Actuator Saturation (Princeton Series in Applied Mathematics)