Odds-setters as forecasters: the case of the football betting market