The 150th anniversary of the Royal Observatory, Edinburgh and infrared astronomy in the United Kingdom