Electrical properties of the gallium arsenide–insulator interface