TacticAI: An AI assistant for football tactics