High-availability cluster computing