If Healthcare.gov were running on a true cloud, it’d be much better off