An Anytime, Scalable and Complete Algorithm for Embedding a Manufacturing Procedure in a Smart Factory