Qual a participação da indústria na economia brasileira?