Active Classification: Theory and Application to Underwater Inspection