Budget includes £100 million for research infrastructure.