已知;如图,在三角形ABC中,角C=90度,角A=30度,AB垂直平分线交AB于D,交AC于E,且EC=6,求AB的长