Cooking fresh pinto beans