The Separable Galois Theory of Commutative Rings