Causal Discovery and Knowledge Injection for Contestable Neural Networks (with Appendices)