Benchmarking Prompt Engineering Techniques for Secure Code Generation with GPT Models