Towards Efficient Neuro-Symbolic AI: From Workload Characterization to Hardware Architecture