Twitter praised for cracking down on use by Islamic State