撮影した動画をリアルタイムにエンコードする方法【GStreamer】