¿Cuánto han aumentado las exportaciones de carne de cerdo procedentes de Brasil, en junio de 2019, respecto al año anterior?