Brazil economy 'shrinks' in second quarter