convert all VOB files in a directory to MP4