ABCD is a trapezoid with midsegment EF. If AB = 12, and CD = 24, what is the length of EF?