Tractable Inference in Credal Sentential Decision Diagrams