Is minced garlic the same as chopped garlic?