Surgeons from Scotland and US achieve world-first stroke surgery using robot