¿Cuál de las siguientes especies es un mamífero porcino domesticado ampliamente utilizado en la producción de carne?