A predictive distributed congestion metric and its application to technology mapping