Sikkim highway repairs continue after Tuesday cave-in