A distributed infrastructure supporting personalized services for the Mobile Web