Electronic devices implanted in the body