Video Encoding by the Numbers