Artificial Intelligence for Smart Manufacturing: Methods, Applications, and Challenges (Springer Series in Reliability Engineering)