BO4Mob: Bayesian Optimization Benchmarks for High-Dimensional Urban Mobility Problem