Programmatic Video Editing with Python