Equational completion, model induced triples and pro-objects