如图,正方形ABCD绕点A逆时针旋转30°后得到正方形AEFG,边EF与CD交于点O,AB=2,求四边形ADOE的面积