Modelling activated T cell homing and recirculation