Super Bowl XLVII sets TV ratings record