Simple Redis distributed locks in PHP based on antirez's redlock-rb