What does a gas installer do?