Video editing using gstreamer