Real-Time 4K Super-Resolution of Compressed AVIF Images. AIS 2024 Challenge Survey