Additive manufacturing of carbon fiber-reinforced thermoplastic composites