Cauchy-characteristic extraction in numerical relativity.