Elon Musk's DOGE is dead. It barely cut federal spending