Live web streaming with subtitles : challenges, lessons, and new ideas