Text this: Results of a national survey among occupational physicians to estimate the number of workers with active medical devices and their types in the context of managing electromagnetic hazards