Surgery for cholecystocholedocholithiasis in a patient with asymptomatic essential thrombocythemia: Report of a case