数字孪生在制造中的应用进展综述