How an oil rig shed its macho culture and became safer and more productive