Reduced-order proper H∞ controllers for descriptor systems: Existence conditions and LMI-based design algorithms