Implementing, testing, and optimizing healthcare provider search at Oscar Health (dna.hioscar.com)