Adaptive Leading Cruise Control in Mixed Traffic Considering Human Behavioral Diversity