Molecular attenuation of vaccinia virus: mutant generation and animal characterization