Football Betting: A Quick and Dirty History