Long-Format to Short-Format Video Editing for Social Media