Terminology-Aware Translation with Constrained Decoding and Large Language Model Prompting