Scaling Redmine across multiple servers