Kinnock then resigned as leader and was replaced by John Smith. What does OMOV stand for