OrdRankBen: A Novel Ranking Benchmark for Ordinal Relevance in NLP