Semisimple algebras over a commutative ring