Advances in Computer-Assisted Design and Analysis of First-Order Optimization Methods and Related Problems