SpaceML: A Markup Language for Spatial Knowledge