Digital education should be a sustainable development goal