Surgical management of traumatic non-infective tenosynovitis of the wrist extensors.