Ab initio molecular dynamics study of dilute hydrofluoric acid