The Use of Infrastructure as Code in Regulated Companies