Explainable Fact Checking with Probabilistic Answer Set Programming