A Foundation of Road User Charges