Cooray-Rubinstein formula for the evaluation of lightning radial electric fields: Derivation and implementation in the time domain