Machine learning in video editing