Snyder’s quantized space-time and de Sitter special relativity