Comparison of pavement network management tools based on linear and non-linear optimization methods