A digital twin-based frame work for task planning and robot programming in HRC