How much does an appendectomy cost?