I'd like to pop the value with the max score, but redis-py does not have `zpopmax` nor `zpopmin`. So what are the suitable replaces of `ZPOPMAX` and `ZPOPMIN`?