A mathematical model for gas carburizing in steel