Soundness in Object-centric Workflow Petri Nets