Khronos releases OpenGL ES 3.1 specification