Propositional Rule Extraction from Neural Networks under Background Knowledge