Second-Order Asymptotics for the Gaussian Interference Channel With Strictly Very Strong Interference