Distrubuted mutex using Redis