Cardiac implantable electronic devices' longevity: A novel modelling tool