Dynamic Membership Management and Data Sharding in Edge-Enabled Publish/Subscribe Systems