GeoExt 2 — JavaScript Toolkit for Rich Web Mapping Applications