Railway Square Pedestrian Subway; Construction of subway, generally