Time is Money: Strategic Timing Games in PoS Protocols