Grok revenue is like 100x smaller than xai estimated capex? Doesn't look great.