Configuring time synchronization