Direct observation of coherent elastic antineutrino–nucleus scattering