Operations research and data mining applications in pavement management