JARVIS-Leaderboard: a large scale benchmark of materials design methods