Development of rail infrastructure and its impact on urbanization in the Randstad, the Netherlands