Phase Locked Loops: Theory, Design, and Applications