An IoT approach to characterising biodiversity of green spaces for planetary health