Dissecting Trade: Firms, Industries, and Export Destinations