Operational semantics of rewriting with the on-demand evaluation strategy