HyperATL*: A Logic for Hyperproperties in Multi-Agent Systems (Logical Methods in Computer Science, 2023)