Terahertz quantum cascade laser sources based on Cherenkov intra-cavity difference-frequency generation