Example of using a probabilistic programming language to control an array of mirrors to form a 3-dimensional image