Automation could save NHS £12.5bn a year