Safety systems for the oil and gas industrial facilities: Design, maintenance policy choice, and crew scheduling.