如果我在Redis DB中有多个JSON类型的键，它们具有以下形式（每个键都有不同数量的用户）

{
    "users": [
        {
            "name": "Alice",
            "age": 15
        },
        {
            "name": "Bob",
            "age": 20
        }
    ]
}

通过使用RedisJson和RedisSearch，我如何过滤所有users.length>或<或=到X的对象？（例如，获取所有具有users.length > 10的对象）