Development process of nuclear power industry in a developing country: Korean experience and implications