Vitalsource Technologies, Inc. Estimating Spoken Dialog System Quality With User Models