Informal goal-setting approaches such as OKRs don't provide much guidance on how to identify or refine goals. Here are some questions that helped us.