Dealing with Synchronization and Timing Variability in the Playback of Interactive Session Recordings