Closed‐form variance estimator for weighted propensity score estimators with survival outcome