A hypothetical study on the remaining and disappearing patterns of rooftop green spaces on public facilities in relation to buildings