A proposed program theory for a smoke-free hospital property