A well-Founded Semantics for Ordered Logic Programming