Elon Musk's DOGE is dead — and it barely took a bite out of federal spending