INESC TEC ganha concurso mundial de resolução de problemas de operação de redes elétricas