Amazon announces Kindle Fire push-notification system