A Distributed Locking Mechanism implemented over Redis to provide Mutex in a Microservices Architecture