High frequency modulation and injection locking of terahertz quantum cascade lasers