When installing a gas water heater. who must pull a permit?