Real-time search for the social web