Даны вершины тетраэдра A(0, 0, 2), B(3, 0, 5), C(1, 1, 0) и D(4, 1, 2). Вычислить длину высоты, опущенной из вершины D на грань ABC.