The Proximity Server component in the Social Devices Platform