Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving