Windows 10 migration struggles: 500\,000 NHS computers are still running Windows 7