de Sitter in non-supersymmetric string theories: no-go theorems and brane-worlds