Banning cigarette smoking on US Navy submarines: a case study