De Sitter vacua in string theory