Text this: Mathematical modelling of splicing systems on DNA molecules