MARA Holdings jumps 15% as crypto mining stocks rally on AI news