Indiana hospital’s EHR back online 10 days after ransomware attack: 4 details