Do you cook pinto beans with lid on or off?