Logic-Based Explainability: Past, Present & Future