TRIP-PAL: Travel Planning with Guarantees by Combining Large Language Models and Automated Planners