Drilling under the COVID‐19 pandemic: A diary study of professional football players' mental health and workout performance