figure out how to get raw OpenGL texture ID