A Google Ads setting allowed advertisers to exclude people of “unknown gender”