Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities