Practicality of generalization guarantees for unsupervised domain adaptation with neural networks