Are the personalized videos in MP4 or HTML5 format? And how are they different?