افسانه‌های هافمن (فیلم)