Introduction to Precise Timing in the Power Grid