KAUST CEMSE AMCS PhD Dissertation Defense Filip Hanzely Optimization for supervised machine learning randomized algorithms for data and parameters