Added leader election and tick insertion to the coordinator