Understanding the difference between Terraform and CloudFormation