Coaches or managers: In soccer, what’s the difference?