'Wonka' Leads 2023 Box Office as Industry Crosses $9 Billion Mark