Modelling OR-parallel Execution of Prolog using CHOCS