Separable Algebras Over Commutative Rings