Does the NHS have a productivity problem?