How much bigger is an ogg file than an flv?