The management of patients with atrial fibrillation undergoing percutaneous coronary intervention with stent implantation