Road Paving Using the Gas Tax