Why is DNS propagation so annoyingly unpredictable?