Frequency synthesizers theory and design