US GDP shrank for the second straight quarter. How worried should we be?