Many Twitter users switch to Mastodon