All digital phase-locked loop