What are common strategies and tools used by tech companies to manage configuration of hundreds of servers? 01-10