How to convert videos to MP4, AVI, or MKV with Avidemux