This work was supported by the MathWorks, Inc., King Abdullah University of Science and Technology (KAUST) (Award No. KUK-C1-013-04), and the European Research Council under the European Union's Seventh Framework Programme (FP7/2007-2013)/ERC (Grant Agreement No. 291068) 2).