EF is a median of trapezoid ABCD. The length of AB is 12, and the length of CD is 18. The length of BF is 4. What is the length of FC?