Regularized integer least-squares estimation: Tikhonov’s regularization in a weak GNSS model