From there you can simply select the video format corresponding to MP4 (most common), MOV and so forth.