Building of a new tunnel beneath the harbor of Oslo, Norway