Zero-Suppressed Sentential Decision Diagrams