A JavaScript library for web based 3D Geographic Information Systems