costa rica vs brasil