Coupled-cluster methods with internal and semi-internal triply excited clusters: Vibrational spectrum of the HF molecule