Bir ABC üçgeninin köşeleri A(2, 3), B(5, -1) ve C(-1, 4) noktalarıdır. Bu üçgenin A köşesinden çizilen yüksekliğin uzunluğu kaç birimdir?