Theoretical calculation of the interfacial charge-modulated two-dimensional electron gas mobility in Al2O3/AlGaN/GaN double heterojunction high-electron mobility transistors