Highway Asset Management under Risk and Uncertainty: Methodology, Models and Application