Text this: Modelling the trip length distribution of shopping trips from GPS data