Dal 2008 al 2024, quanti mesi di luglio sono stati più caldi della media?