What kind of deployment system does for example digitalocean (and other) use? How they automatically setup, config and manage that amount of servers? What software run behind th