Bernstein favors CleanSpark on AI execution as MARA awaits first commercial contract