Super Bowl averages 124.9M viewers in US, Bad Bunny’s halftime 128.2 million, both short of records