LinkedIn’s search algorithm apparently favored men until this week