Implementing health information exchange with searchable encryption