World Cup final: Germany defeats Argentina in extra time