Efficient inductively coupled resonant power transfer for an implantable electroencephalography recording device