A Finite-Horizon Approach to Active Level Set Estimation