GIS-based Network Analysis for Optimisation of Public Facilities Closure: A Study on Libraries in Leicestershire, United Kingdom