Kriging‐Informed Coverage Sampling: An Integer Programming Approach to Optimizing Information Collection | Synapse