The $\mu\mathcal{G}$ Language for Programming Graph Neural Networks