OKRs vs. KPIs: Two sides of the same coin