Optimal dose of bivalirudin in dialysis patients at high risk of heparin-induced thrombocytopenia undergoing percutaneous coronary intervention: case report