Mixed-Integer Optimisation of Graph Neural Networks for Computer-Aided Molecular Design