Differences in pacemaker programming between electrophysiology specialists and other physicians