Nonequilibrium many body theory for quantum transport in terahertz quantum cascade lasers