Text this: Model Checking Spatial Logics for Closure Spaces