Text this: Model-Driven Clock Synchronization Algorithms for Random Loss of GNSS Time Signals in V2X Communications