Según las estadísticas oficiales ¿Cuánto se ha reducido la producción de carne de cerdo en China en 2019?