Distributed high available task scheduler