Does football betting include extra minutes?