Line profiles in thick electron resist layers and proximity effect correction