Lack of association between appendectomy and primary biliary cirrhosis