Structure of the electrical double layer at the ice-water interface