Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts