What format are the source videos in? (they are AVI as you said, but what video codec?)