On Codex Prompt Engineering for OCL Generation: An Empirical Study