GeoServer plugin to query depth within a certain area