Anti-de Sitter space and holography