Results of the Big ANN: NeurIPS'23 competition