Orange County Officials Approve Irvine’s Exit from Library System