Big Spatial Data Management for the Internet of Things: A Survey