A ransomware attack forced Ireland’s healthcare service to shut down its servers. Here’s what we know so far.