Velocity addition formula