When was Jyoti Basu sworn in as the Chief Minister of West Bengal for the first time ?