paving history