PhD Thesis: Optimization models for the orchestration of electric vehicle charging