What is the normal thickness of a driveway?