MP4 tops list of encoding format used for Web, mobile viewing, says survey