how much does a teaspoon of red pepper flakes weigh