边长为4正方形ABCD沿EF折叠,B在边AD中点,那么四边形BCFE面积是多少