Title: The interaction of sprinklers and roof venting in industrial buildings