In which format is audio typically compressed for online streaming?