The influence of social media on football betting