Modeling of vacuum pulse carburizing of steel