Digital Object Identifier (DOI) https://doi.org/10.1137/15m1016424 https://doi.org/10.1137/15m1016424