REST api for sending push notifications and retrieving number of subscribers of a particular channel