EHRA consensus on prevention and management of interference due to medical procedures in patients with cardiac implantable electronic devices.