What is a PID control? How does it work?