Mathematical and Economic Theory of Road Pricing