Accuracy of proximity correction in electron lithography after development