Brazil's Cruzeiro overcame domestic rivals Gremio 5-3 on aggregate to set up a Copa Libertadores final against Argentina's Estudiantes next week.