Is minced garlic and crushed garlic the same?