The Semantics of GeoComputation