Robust performance analysis of uncertain LTI systems: Dual LMI approach and verifications for exactness