Polyhedral Methods for Adaptive Choice-Based Conjoint Analysis