De acordo com as estatísticas oficiais quanto se reduziu a produção de carne de porco na China em 2019?