Datalog with non deterministic choice computes NDB-PTIME