Randy Jackson is leaving ‘American Idol’