Nucleation theory for high-carbon bainite