Order-compatible topologies on a partially ordered set