Semiconductor surfaces and the electrical double layer