St. Louis County settles discrimination lawsuit with gay police officer