Time dilation and velocity addition