Orientifolds and K-theory