SDDs Are Exponentially More Succinct than OBDDs