Sharknado Metrics: Does Twitter Hype Boost TV Ratings?