Derivation of quantum theory with superselection rules