Gandhi's name replaced by Lenin in Tripura textbook