Edgeworth expansions for nonparametric distribution estimation with applications