gallon cooked pinto beans