Redis distributed locks in PHP