MIS: A Multiple-Level Logic Optimizations System