The firm-level employment effects of innovations in high-tech US manufacturing industries