AV1 Encoding vs H.264 and H.265: Which Should You Export With?