Protelis: practical aggregate programming