Stochastic Performance and Maintenance Optimization Models for Pavement Infrastructure Management.