Results on mean time-to-first-slip for first-order zero-crossing digital phase-locked loops using Markoff chains and simulations