How to design a distributed lock using Redis? What edge cases should be considered to avoid race conditions?