Resource-augmenting R&D with heterogeneous labor supply