Nonparametric inverse probability weighted estimators based on the highly adaptive lasso