Modelling and Optimisation of a DNA Stack Nano-Device Using Probabilistic Model Checking