Soft Constraint Logic Programming for Electric Vehicle Travel Optimization