Health care cost analysis of enhanced pacing modalities in bradycardia patients: Portuguese case study on the results of the MINERVA trial