Election betting markets provide useful information beyond conventional political polling