US service sector shrinks, first time since Great Depression