What is the common thickness of asphalt?