BUT WHAT IS smoked paprika, REALLY?