Graph Neural Networks: From Expressivity to Generalisation