A pareto-algebraic framework for signal power optimization in global routing