Microsoft said the number of web shells has doubled since last year