Urban form, travel behavior, and travel satisfaction