Text this: System-Level Mathematical Macro-Models of Logic MEMS Gates