Ireland’s health care system taken down after ransomware attack