Which of the following is a software development framework that a company can use to define cloud resources as code and provision the resources through AWS CloudFormation?