This is how much the WannaCry ransomware attack cost the NHS