Kan injectivity in order-enriched categories