An implementation of the Redlock algorithm in C#