Certified dual-corrected radiation patterns of phased antenna arrays by offline-online order reduction of finite-element models.