Jsonix: OGC Web Services in JSON