ADAMTS13 and thrombotic thrombocytopenic purpura: An ADAMTS13 mutation that causes hereditary thrombotic thrombocytopenic purpura: a case report and literature review