Optimal Memory Size Formula for Moving-Average Digital Phase-Locked Loop