Quantitative Modelling of Diffusion-driven Pattern Formation in microRNA-regulated Gene Expression