How long do dehydrated beans take to cook?