A quick guide to video codecs