Measurement of pavement smoothness for construction quality control.