Mina Hsiang helped save Healthcare.gov a decade ago. Today she’s rewriting the government tech playbook