Submodularity and greedy algorithms in sensor scheduling for linear dynamical systems. (November 2015)