欧洲杯的加时赛是多久