The Many Faces of Operationalization in Goal-Oriented Requirements Engineering