Cooking pinto beans