An API for the discovery of educational content on the Brazilian digital TV | IEEE Conference Publication | IEEE Xplore