LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration