A large scale publish-subscribe platform for information delivery to mobile phones