Lossless compression for video