Bitcoin miner MARA touts AI plans as it posts record earnings in Q4