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