CNN: US box office in 2023 passed $9 billion, the best total since before the pandemic