pork and pinto-bean chili