Lero: A Learning-to-Rank Query Optimizer