Pošalji tekstualnu poruku: On modal characterisation theorems over finite structures with applications to graph neural networks