How does a video codec work?