Exporting and the environment: a new look with micro-data