标签：奥运会足球小组赛踢多久