Irreversible R&D investment with inter-firms spillovers