Should sprinklers be mandatory in new homes?