How to edit a professional sports video in 15 minutes