Text this: The human capital of firms and the formal training of workers