private function extract_keys($data, $keys)
{
    return array_map(function ($d) use ($keys) { return array_intersect_key($d, array_flip($keys)); }, $data);
}