Redis distributed locks in Python