Могли бы вы объяснить, что такое CloudFormation и как он используется для автоматизации инфраструктуры в облаке?