Pragmatic Scalability: Under the hood of Artifactory HA