Mapping electrostatic potential across an AlGaN/InGaN/AlGaN diode by electron holography