The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach