Short Video Editing for Social Media