Apple acquired a startup using AI to compress videos