The I/O-Complexity of Ordered Binary-Decision Diagram Manipulation