How to convert video files from mp4 to avi