Electric plug and socket types around the world