Text this: Mathematical modelling of splicing systems