Scalable High-Availability cluster resource manager