Server configuration automation with Saltstack Optimizing the management of a large number of servers