Modeling Spatial Relations Between Lines and Regions: Combining Formal Mathematical Models and Human Subjects Testing