Mining companies move deeper into AI, HPC as MARA may sell Bitcoin