A GUI typesetting display engine and cross platform GUI application development framework based on NodeJS/OpenGL