A distributed Twitter data crawler