Amazon launches HealthLake, a platform for storing and analyzing health care data