Probability Theory for Spatial Reasoning and Geographic Data