Quanto aumentaram as exportações de carne de porco provenientes do Brasil, em Junho de 2019, relativamente ao ano anterior?