The subway construction process in the Shipilovskaya Moscow Metro station. The tunnel formwork system STALFORM for vaulting