Cooking mexican pinto beans