How much minced galangal instead of fresh galangal?