Electroproduction of kaons and light hypernuclei