Extron introduces two-, four-input HDMI switchers