Who replaced John Smith as leader