Gross domestic product by manufacturing industries