Computationally efficient controller design for smart base-isolation systems: A reduced-order modal LQG approach | Synapse