How many people use grok professionally? Compared to claude code/codex?