SMS dit: Modelling inter-contact times in social pervasive networks