Phase-Locked Loops: Theory and Applications