Railway Square Pedestrian Subway; Construction of subway generally