After Michigan killings, students praised shooter drills. But do they really work?