PIB gaúcho cresce 15% no segundo trimestre de 2013