On the integration of symbolic and sub-symbolic techniques for XAI: A survey