Categorization of Green Spaces for a Sustainable Environment and Smart City Architecture by Utilizing Big Data