400+ OKR Examples Directory: A curated list of OKR examples for high tech companies