what is a pavement