Structural insights into a HECT-type E3 ligase AREL1 and its ubiquitination activities in vitro