New Cincinnati city leadership is diverse, history-making