Mining Giant MARA Cuts Staff by 15% Amid Shift to Energy Services