STREAK: An Efficient Engine for Processing Top-k SPARQL Queries with Spatial Filters