Rigorous Runtime Analysis of Diversity Optimization with GSEMO on OneMinMax