For videos already exported with the color image and a black-&-white alpha matte packed into one frame (top/bottom recommended). Regular videos: leave as "None".
Use one of the two. A mask is a plain black & white image the same size as your target — white where the video should show, black where the target should show. No special video export needed. You can also add or change this later in the editor.