What Does Extra Time Mean in Football?