Overview of double dosimetry procedures for the determination of the effective dose to interventional radiology operators