Syncing lights with music: estimating precise seek time from truncated timestamps