A dynamic model of urban green spaces, residential mobility and real estate market