Just-in-time Video Editing